381. The nature of mathematics
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Whitehead, Alfred North, 1861-1947. Principia mathematica
رده :
QA9
.
B62
1959
382. The nature of mathematics
پدیدآورنده : / by Max Black
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Whitehead, Alfred North, 1861-1947. Principia mathematica,Russell, Bertrand, 1872-1970, joint author. Principia mathematica
رده :
QA9
.
B62
1934
383. The nature of mathematics : a critical survey
پدیدآورنده : Black, Max
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
B62
384. The nature of mathematics : a critical survey
پدیدآورنده : Black, Max
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Whitehead, Alfred North, 1681-7491. Principia mathematica,، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
B62
1959
385. The nature of mathematics : a critical survey
پدیدآورنده : Black, Max
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical,، Whitehead, Alfred North, 1681-7491. Principia mathematica
رده :
QA
9
.
B54
386. The origin of the logic of symbolic mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Mathematics ; Philosophy. ;
387. The origin of the logic of symbolic mathematics :
پدیدآورنده : Burt C. Hopkins
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
H66
2011
388. The road to universal logic :
پدیدآورنده : Arnold Koslow, Arthur Buchsbaum, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,History of Mathematical Sciences,Logic,Mathematical Logic and Foundations,Mathematics
رده :
QA9
389. The road to universal logic Festschrift for the 50th birthday of Jean-Yves Béziau.
پدیدآورنده : Arnold Koslow, Arthur Buchsbaum, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic,Logic, Symbolic and mathematical,Mathematics
رده :
QA9
.
R63
390. The search for certainty : a philosophical account of foundations of mathematics
پدیدآورنده : Giaquinto, Marcus
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
G52S4
391. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
پدیدآورنده : Reichenbach, Hans
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics -- Philosophy,، Probabilities,، Logic, Symbolic and mathematical
رده :
QA
9
.
R412
1949
392. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
پدیدآورنده : Reichenbach, Hans
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Mathematics-- Philosophy,، Probabilities,، Logic, Symbolic and mathematical
رده :
QA
9
.
R412
1971
393. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
پدیدآورنده : Reichenbach, Hans
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : philosophy ، Mathematics,، Probabilities,، Logic, Symbolic and mathematical
رده :
QA
9
.
R413
394. Theorems of the 21st century.
پدیدآورنده : Bogdan Grechuk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Induction (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Induction (Mathematics),Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.
رده :
QA37
.
3
395. Theory of Finite and Infinite Graphs
پدیدآورنده : by Dénes König.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorics.,Logic, Symbolic and mathematical.,Mathematics.
396. Theory of formal systems /
پدیدآورنده : R.M. Smullyan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,SCIENCE-- System Theory.
رده :
QA248
.
5
397. Thirty years of foundational studies; lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
پدیدآورنده : Mostowski, Andrzej
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
رده :
B
28
.
F5
.
A3
Fasc
.
17
398. Toposes, Algebraic geometry and logic
پدیدآورنده : ]by[ I.Bucur ]and others[ edited by F.W.Lawvere
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
274
399. Toposes, algebraic geometry and logic
پدیدآورنده : ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
رده :
QA
169
.
T6
1972
400. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
پدیدآورنده : I. Bucur ... ]et al.[; edited by F. W. Lawvere
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
رده :
QA
3
.
L28
Vol
.
274
